Arithmetic precision - PDFSEARCH.IO - Document Search Engine

Arithmetic precision
Results: 543

#	Item
21	Static Analysis of the Accuracy and Robustness of Finite Precision Implementations Fluctuat Eric Goubault and Sylvie Putot Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2013-11-20 04:18:58 Mathematics Affine geometry Numerical analysis Software Theoretical computer science Abstract interpretation Fluctuat Affine arithmetic Affine space Integral Rounding Matrix
22	Introduction to Smalltalk - Chapter 5 - Numbers  Ivan TomekChapter 5 - Numbers Overview VisualWorks library contains many classes representing numbers of various kinds, mainly because Add to Reading List Source URL: sdmeta.gforge.inria.fr Language: English - Date: 2014-10-09 10:38:17 Mathematics Computer arithmetic Smalltalk Number Single-precision floating-point format Primitive data type Continued fraction Q Arbitrary-precision arithmetic Floating point Fixed-point arithmetic Real number
23	Generating a Minimal Interval Arithmetic Based on GNU MPFR (in the context of the search for hard-to-round cases) Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic Software Computing Mathematics GNU MPFR Rounding Interval arithmetic GNU Multiple Precision Arithmetic Library Maple Fixed-point arithmetic IEEE floating point TeX
24	Math 515 Fall, 2014 Brief Notes on Conditioning, Stability and Finite Precision Arithmetic Most books on numerical analysis, numerical linear algebra, and matrix computations have a lot of material covering conditioning, Add to Reading List Source URL: www.mathcs.emory.edu Language: English - Date: 2014-08-21 18:20:20 Mathematics Mathematical analysis Algebra Condition number Matrices Numerical analysis Division algorithm Multiplicative inverse Binomial coefficient Linear least squares
25	Press Release IADSA releases first ever global GMP guide Australia 23 June 2011 Add to Reading List Source URL: www.iadsa.org Language: English - Date: 2011-06-23 02:56:51 Pharmaceutical industry Dietary supplements Pharmaceuticals policy Food safety Good manufacturing practice Health Business Software GMP GNU Multiple Precision Arithmetic Library Good automated manufacturing practice
26	Precimonious: Tuning Assistant for Floating-Point Precision Cindy Rubio-Gonz´alez1 , Cuong Nguyen1 , Hong Diep Nguyen1 , James Demmel1 , William Kahan1 , Koushik Sen1 , David H. Bailey2 , Costin Iancu2 , and David Hough Add to Reading List Source URL: crd.lbl.gov Language: English - Date: 2013-08-25 13:39:42 Computing Computer arithmetic Software engineering Computer programming Floating point LLVM Kahan summation algorithm Extended precision IEEE floating point Program analysis Lookup table Type system
27	Arithmétique flottante en précision arbitraire Vincent LEFÈVRE INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon École « précision et reproductibilité en calcul numérique », Fréjus Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic Computing Software Computer programming GNU MPFR Paul Zimmermann GNU Multiple Precision Arithmetic Library Rounding Floating point Fixed-point arithmetic IEEE floating point Precision
28	Lineare Algebra Endliche Arithmetik Walter Gander ETH Z¨ urich Add to Reading List Source URL: www.cvg.ethz.ch Language: English - Date: 2015-06-05 11:10:36 Computer arithmetic Mathematics Arithmetic Mathematical analysis Floating point IEEE 754-1985 Single-precision floating-point format Double-precision floating-point format Denormal number Rounding Pi Precision
29	Computing with Floating Point It’s not Dark Magic, it’s Science Florent de Dinechin, Ar´enaire Project, ENS-Lyon CERN seminar, January 11, Add to Reading List Source URL: lipforge.ens-lyon.fr Language: English - Date: 2005-03-18 10:04:41 Computer arithmetic Computing Mathematics Theoretical computer science Floating point IEEE floating point Double-precision floating-point format Precision Rounding NaN William Kahan 0.999...
30	Introduction to the GNU MPFR Library Vincent LEFÈVRE INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon GNU Hackers Meeting, Paris, Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic GNU MPFR GNU Multiple Precision Arithmetic Library Rounding Paul Zimmermann GNU Compiler Collection GNU Fixed-point arithmetic IEEE floating point Floating point IEEE 754-1985